Nuprl Definition : sends-msgs
11,40
postcript
pdf
sends-msgs(
s
;
v
;
tg_f
) == map((
x
.<
tg_f
.1,
x
>); ((
tg_f
.2)(
s
,
v
)))
latex
Definitions
map(
f
;
as
)
,
x
.
A
(
x
)
,
<
a
,
b
>
,
t
.1
,
f
(
a
)
,
t
.2
FDL editor aliases
sends-msgs
origin
x.<tg_f.1, x>); ((tg_f.2)(s,v))) x.<tg_f.1, x>); ((tg_f.2)(s,v))) x.A(x)